#ifndef _NORMALIZATION_LOCALS_H
#define _NORMALIZATION_LOCALS_H

#include "normalized_datatypes.h"

void put_generated_atomic_concept(NormalizedConcept* generated_atomic_concept, NormalizedConcept* normalized_filler, enum axiom_side side);

NormalizedConcept* get_normalized_atomic_concept(char* name, enum axiom_side side);

// void add_to_normalized_atomic_concepts(NormalizedConcept* c, enum axiom_side side);

NormalizedConcept* get_generated_atomic_concept(NormalizedConcept* normalized_filler, enum axiom_side side);

void add_to_normalized_atomic_concepts_left(NormalizedConcept* c);

void put_normalized_conjunction(NormalizedConcept* conjunction);
NormalizedConcept* get_normalized_conjunction(NormalizedConcept** conjuncts, int size);
#endif
